Revision: tla-tools--devo--0--patch-2
Archive: miles@gnu.org--gnu-2003
Creator: Miles Bader <miles@gnu.org>
Date: Wed Aug 20 01:48:14 JST 2003
Standard-date: 2003-08-19 16:48:14 GMT
Summary: New tla-copy-changes features
New-files: 
New-directories: 
Removed-files: 
Removed-directories: 
Renamed-files: 
Renamed-directories: 
Modified-files: ./tla-copy-changes
Modified-directories: 
New-patches: miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-2
Removed-patches: 

(1) Allow explicit revisions to be specified instead of versions

(2) Handle multiple versions/revisions on command line

(3) If commit fails, leave the auto-generated log file around in the
    `standard place', so a simple `tla commit' can be used to commit
    after fixing the problem.
